AIDA[2]

Karlsruhe, 1980

An intermediate representation language for Ada. It was merged with TCOL.Ada to form DIANA.

"AIDA Introduction and User Manual", M. Dausmann et al, University Karlsruhe, Inst fur Inform II, TR Nr 38/80.

"AIDA Reference Manual", ibid, TR Nr 39/80, Nov 1980.

AIDA[3]

INRETS (Institut National de Recherche Sur Les Transports Et Leur Securite)

An inference language used in the DRIVE project.